
mu((eta(), x)) == x(mu, (x, eta())) == x;
